Total Books: 1 - 2 /2
Ada 2005 Reference Manual. Language and Standard Libraries
The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...
Weiterlesen
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Weiterlesen
Total Books: 1 - 2 /2
